Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
751	Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:38:30 Proof theory Software engineering Soundness Mathematical logic Usability Programming language Type system Compiler optimization Software bug Deduction Logic Model theory
752	Specification of Zinc and MiniZinc Nicholas Nethercote Mark Wallace Kim Marriott Reza Rafeh Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-06-19 04:02:31 Computing Programming language theory ZM C Type system Enumerated type Variable E Data types Type theory Software engineering
753	Automatic Generation of Peephole Superoptimizers Sorav Bansal and Alex Aiken Computer Systems Lab Stanford University {sbansal, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-01 01:50:46 Programming language implementation X86 instructions Peephole optimization Superoptimization MOV X86 architecture Assembly language X86 CPUID Computer architecture Compiler optimizations Computing
754	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
755	A Query Language for Understanding Component Interactions in Production Systems Adam J. Oliner and Alex Aiken Stanford University∗ Department of Computer Science {oliner, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-04-09 04:48:23 Parallel computing Navigation Component-based software engineering Object-oriented programming Software architecture Blue Gene Central processing unit Connected component Global Positioning System Technology Computing Military science
756	Programming as collaborative reference (full presentation) Oleg Kiselyov and Chung-chieh Shan We argue that programming-language theory should face the pragmatic fact that humans develop software by interacting with comp Add to Reading List Source URL: okmij.org Language: English - Date: 2012-02-02 23:14:00 Computer programming Data types Programming paradigms Notation Programming language Type system Type inference Type safety Logic programming Software engineering Type theory Computing
757	Universal Powerline Bus The UPB System Description Version Add to Reading List Source URL: www.simply-automated.com Language: English - Date: 2010-07-03 21:25:21 Programming language theory Transmission Control Protocol Software engineering Network packet ALGOL 68 Home automation Universal powerline bus Computing
758	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
759	Specification of Zinc and MiniZinc Zinc version 0.10 MiniZinc version 1.0 Nicholas Nethercote Mark Wallace Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 Data types Type theory Cross-platform software Procedural programming languages C Enumerated type Type system Database index Computing Software engineering Programming language theory
760	Compilation for Explicitly Managed Memory Hierarchies Timothy J. Knight Ji Young Park Manman Ren Mike Houston Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-01-12 21:55:15 Compiler optimizations Computer memory Programming language implementation Compiler construction Parallel computing Cell Compiler SPMD Software pipelining Computing Software engineering Computer programming

UPDATE